Buy Used and New Jan Heering Books

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science)

by Jan Heering,Bernhard M??ller,Gilles Dowek,Karl Meinke

ISBN 13: 9783540612544

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)

by Jan Heering,Tobias Nipkow,Bernhard M??ller,Karl Meinke

ISBN 13: 9783540582335

Format: Illustrated (360 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later